The Correctness-by-Construction Approach to Programming
by Derrick G. Kourie, Bruce W. Watson
ISBN 13: 9783642279188
Format: Hardcover (264 pages) Publisher: Springer Published: 12 Apr 2012
Save for later